Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A guide to computer algebra systems / David Harper, Chris Wooff, David Hodgkinson
| A guide to computer algebra systems / David Harper, Chris Wooff, David Hodgkinson |
| Autore | Harper, David |
| Pubbl/distr/stampa | Chichester \etc.!, : Wiley, c1991 |
| Descrizione fisica | XII, 148 p. ; 23 cm. |
| Disciplina | 512.00285 |
| Altri autori (Persone) |
Wooff, Chris
Hodgkinson, David |
| Collana | Wiley professional computing |
| Soggetto topico | Algebra - Elaborazione elettronica |
| ISBN | 0471929107 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0166598 |
Harper, David
|
||
| Chichester \etc.!, : Wiley, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Algebra lineare e geometria con Derive / Maria Piera Manara, Alessandro Perotti
| Algebra lineare e geometria con Derive / Maria Piera Manara, Alessandro Perotti |
| Autore | Manara, Maria Piera |
| Pubbl/distr/stampa | Milano [etc.], : McGraw-Hill libri Italia, 1992 |
| Descrizione fisica | IX, 164 p. ; 24 cm + 1 floppy disk. |
| Disciplina |
512.00285
512.5 512.50285 512.7 |
| Altri autori (Persone) | Perotti, Alessandro |
| Soggetto topico |
Microelaboratori elettronici - Programmi di algebra lineare - Impiego didattico
Microelaboratori elettronici - Programmi di geometria analitica - Impiego didattico Microelaboratori elettronici |
| ISBN | 8838606765 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-LO10087881 |
|
Manara, Maria Piera
|
||
| Milano [etc.], : McGraw-Hill libri Italia, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Algorithms for computer algebra / K. O. Geddes, S. R. Czapor, G. Labahn
| Algorithms for computer algebra / K. O. Geddes, S. R. Czapor, G. Labahn |
| Autore | Geddes, K.O. |
| Pubbl/distr/stampa | Boston [MA] : Kluwer, c1992 |
| Descrizione fisica | xviii, 585 p. ; 24 cm |
| Disciplina | 512.00285 |
| Soggetto non controllato | Calcolo simbolico |
| ISBN | 0-7923-9259-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001329250403321 |
|
Geddes, K.O.
|
||
| Boston [MA] : Kluwer, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CADE--2007 : computer algebra and differential equations / A. Myllèari, V. Edneral and N. Ourusoff, editors
| CADE--2007 : computer algebra and differential equations / A. Myllèari, V. Edneral and N. Ourusoff, editors |
| Pubbl/distr/stampa | Abo : Abo Akademi University Press |
| Descrizione fisica | V, 191 p. : ill. ; 25 cm. |
| Disciplina | 512.00285 |
| Altri autori (Persone) |
Myllèari, A.
Edneral, Viktor Fedorovich Ourusoff, N. |
| Collana | Acta Academiae Aboensis. Ser. B, Mathematica et physica ; 67.2 |
| Soggetto topico |
Algebra - Data processing - Congressi
Equazioni differenziali - Congressi |
| ISBN |
9789517654029
9517654022 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002432669707536 |
| Abo : Abo Akademi University Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Computational algebra / Edited by Klaus G. Fischer ...[et al.]
| Computational algebra / Edited by Klaus G. Fischer ...[et al.] |
| Pubbl/distr/stampa | New York : Marcel Dekker, c1994 |
| Descrizione fisica | X, 256 p. ; 24 cm |
| Disciplina | 512.00285 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato |
Algebra computazionale - Congressi
Basi di grobner - Congressi Geometria algebrica - Congressi Workstations - Reti - congressi |
| ISBN | 0-8247-9070-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001329060403321 |
| New York : Marcel Dekker, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational algebra : [papers from the Mid-Atlantic algebra conference on computational algebra, held at George Mason University, May 20-23, 1993] / edited by Klaus G. Fischer ... [et al.]
| Computational algebra : [papers from the Mid-Atlantic algebra conference on computational algebra, held at George Mason University, May 20-23, 1993] / edited by Klaus G. Fischer ... [et al.] |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1994 |
| Descrizione fisica | X, 256 p. ; 26 cm. |
| Disciplina | 512.00285 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto topico | Algebra - Elaborazione dati - Congressi |
| ISBN | 0-8247-9070-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000016064 |
| New York [etc.] : Marcel Dekker, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XXI, 463 p. 62 illus., 40 illus. in color.) |
| Disciplina | 512.00285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer networks Computer systems Computer science Artificial intelligence Computers Design and Analysis of Algorithms Computer Communication Networks Computer System Implementation Theory of Computation Artificial Intelligence Computing Milieux |
| ISBN | 3-030-85165-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Symbolic and algebraic algorithms -- Computer algebra systems -- Mathematical software -- Modeling and simulation -- Design and analysis of algorithms -- Computability -- Complexity -- Elliptic curves -- Numerical analysis -- Differential equations -- Applications to natural sciences and engineering -- Parallel computing. |
| Record Nr. | UNISA-996464444603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XXI, 463 p. 62 illus., 40 illus. in color.) |
| Disciplina | 512.00285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer networks Computer systems Computer science Artificial intelligence Computers Design and Analysis of Algorithms Computer Communication Networks Computer System Implementation Theory of Computation Artificial Intelligence Computing Milieux |
| ISBN | 3-030-85165-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Symbolic and algebraic algorithms -- Computer algebra systems -- Mathematical software -- Modeling and simulation -- Design and analysis of algorithms -- Computability -- Complexity -- Elliptic curves -- Numerical analysis -- Differential equations -- Applications to natural sciences and engineering -- Parallel computing. |
| Record Nr. | UNINA-9910495163603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov |
| Autore | Boulier François |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVII, 644 p. 96 illus.) |
| Disciplina | 512.00285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science—Mathematics Artificial intelligence Computer systems Mathematics of Computing Artificial Intelligence Computer System Implementation |
| ISBN | 3-030-60026-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tropical Geometry of Biological Systems (Invited Talk) -- Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk) -- On the Complexity of Computing Integral Bases of Function Fields -- Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations -- On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes -- Univariate Polynomials With Long Unbalanced Coefficients as Bivariate Balanced Ones: a Toom–Cook Multiplication Approach -- Power Series Arithmetic with the BPAS Library -- Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition -- The Complexity and Parallel Implementation of two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization -- The GPGCD Algorithm with the Bézout Matrix -- On Parametric Linear System Solving -- Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5) Χ SU(1,1) Group -- Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes -- Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases -- On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods -- Complexity Estimates for Fourier-Motzkin Elimination -- Progress Report on the Scala Algebra System -- Routh – Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations -- Hermite Rational Function Interpolation with Error Correction -- Good Pivots for Small Sparse Matrices -- Nullstellensatz-Proofs for Multiplier Verification -- "Mathemachines" via LEGO, GeoGebra and CindyJS -- Balanced NUCOMP -- Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order -- Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations -- Computing Parametric Standard bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities -- Acceleration of Subdivision Root-Finding for Sparse Polynomials -- Analytical Computations in Studying Translational-Rotational Motion of a Non-Stationary Triaxial Body in the Central Gravitational Field -- A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks -- First-Order Tests for Toricity -- Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System -- Computing Logarithmic Vector Fields along an ICIS Germ via Matlis Duality -- Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers -- Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials -- Comparative Study of the Accuracy of Higher-order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means -- Characterizing Triviality of the Exponent Lattice of a Polynomial through Galois and Galois-Like Groups. |
| Record Nr. | UNISA-996418283103316 |
|
Boulier François
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Algebra in Scientific Computing [[electronic resource] ] : 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
| Computer Algebra in Scientific Computing [[electronic resource] ] : 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov |
| Autore | Boulier François |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVII, 644 p. 96 illus.) |
| Disciplina | 512.00285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science—Mathematics Artificial intelligence Computer systems Mathematics of Computing Artificial Intelligence Computer System Implementation |
| ISBN | 3-030-60026-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Tropical Geometry of Biological Systems (Invited Talk) -- Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk) -- On the Complexity of Computing Integral Bases of Function Fields -- Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations -- On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes -- Univariate Polynomials With Long Unbalanced Coefficients as Bivariate Balanced Ones: a Toom–Cook Multiplication Approach -- Power Series Arithmetic with the BPAS Library -- Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition -- The Complexity and Parallel Implementation of two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization -- The GPGCD Algorithm with the Bézout Matrix -- On Parametric Linear System Solving -- Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5) Χ SU(1,1) Group -- Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes -- Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases -- On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods -- Complexity Estimates for Fourier-Motzkin Elimination -- Progress Report on the Scala Algebra System -- Routh – Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations -- Hermite Rational Function Interpolation with Error Correction -- Good Pivots for Small Sparse Matrices -- Nullstellensatz-Proofs for Multiplier Verification -- "Mathemachines" via LEGO, GeoGebra and CindyJS -- Balanced NUCOMP -- Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order -- Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations -- Computing Parametric Standard bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities -- Acceleration of Subdivision Root-Finding for Sparse Polynomials -- Analytical Computations in Studying Translational-Rotational Motion of a Non-Stationary Triaxial Body in the Central Gravitational Field -- A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks -- First-Order Tests for Toricity -- Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System -- Computing Logarithmic Vector Fields along an ICIS Germ via Matlis Duality -- Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers -- Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials -- Comparative Study of the Accuracy of Higher-order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means -- Characterizing Triviality of the Exponent Lattice of a Polynomial through Galois and Galois-Like Groups. |
| Record Nr. | UNINA-9910427704403321 |
|
Boulier François
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
